261. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
262. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
263. Blood Biochemistry
پدیدآورنده : by N.J. Russell, G.M. Powell, J.G. Jones, P.J. Winterburn, J.M. Basford.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
QP91
.
B965
1982
264. Boolean function complexity : advances and frontiers
پدیدآورنده : Jukna, Stasys, 3591-
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
رده :
QA
267
.
7
.
J84B6
265. Boundary Element Techniques in Computer-Aided Engineering
پدیدآورنده : edited by C.A. Brebbia.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science -- Mathematics.,Mathematics.
266. Boundary Value Problems for Engineers
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering mathematics. ; Computer science. ; Computer engineering. ; Engineering Mathematics. ;
267. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
268. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
269. Building bridges : between mathematics and computer science
پدیدآورنده : Martin Grotschel, Gyula O. Katona )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
B84
270. Building bridges :between mathematics and computer science
پدیدآورنده : / [edited by] Martin Groetschel, Gyula O.H. Katona
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Computer science -- Mathematics,-- Congresses
رده :
004
.
0151
B932
2008
271. Building bridges: between mathematics and computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
M35
.
B85
2008
272. CAD/CAM in Practice :
پدیدآورنده : by A.J. Medland, Piers Burnett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
273. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
274. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
275. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
276. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
277. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
278. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
279. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
280. Calculus for scientists and engineers: an analytical approach
پدیدآورنده : Joshi, K.D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Calculus,، Engineering mathematics,Mathematics ، Science
رده :
QA
303
.
J73
2002
